Nuprl Definition : ecl-mng 0,22

@i[[x;snd;upd]] == lmsg-spec-links(snd).@i[[x;snd]] & zupdate-spec-vars(upd).@i[[x;upd]] 
latex



clarification:

ecl-mng{i:l}
ecl-mng(esidsdaxsndupd)
== lmsg-spec-links(snd).ecl-mng-sends{i:l}(esidsdaxlsnd)
== zupdate-spec-vars(upd).ecl-mng-update{i:l}(esidsdaxzupd
latex


DefinitionsP & Q, msg-spec-links(snd), @i[[x;snd]], xL.P(x), update-spec-vars(upd), @i[[x;upd]]
FDL editor aliasesecl-mng

origin